Characterising for contemporary systems is their dependence on constituent systems to provide information, functionality, and\r\nscalability.Moreover, as the tasks that systems performare evermore intimate and critical in their nature, reliability and correctness\r\nare great concerns. On thesematters, we outline amethodology for formal integration of systems.We claimthis formal approach to\r\nassist in managing the complexity and correctness, in preserving reliability and in respecting the independence of the constituent\r\nsystems. As a proof of concept, we integrate two in-house control systems specified independently in the Event-B language with the\r\nRodin Platform tool. Moreover, we show how to introduce a new functionality that is only possible due to the integration. Hence,\r\nwe formally construct a system of systems and provide the methods for hierarchical integration of those.
Loading....